OCaml やる理由
やる理由を集めてる時はやんねぇんだよなぁ
形式手法
ocaml/dune: A composable build system for OCaml.
ECMAScriptECMAScript.icon
ReasonML
Reason · Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
reasonml/reason-react: Reason bindings for ReactJS
ReactReact.icon
Reason Native · Libraries for building and testing native Reason programs.
Reason React Native , ReasonML bindings for React Native
React Native
BuckleScript
BuckleScript · A faster, simpler and more robust take on JavaScript.
OCamlでJavaScriptが幸せ - c4se記：さっちゃんですよ☆
js_of_ocaml
Js_of_ocaml
Multi-tier programming for Web and mobile apps
WebAssemblyWebAssembly.icon
LLVMに吐けたら出來るのではなからうか
rolph-recto/ocaml-wasm: typed webassembly backend for ocaml
Unikernel
MirageOS
MirageOS
Hosting Static Websites as Unikernels on Amazon Web Services
solo-io/unik: The Unikernel & MicroVM Compilation and Deployment Platform
imbsky/rekernel: Minimum setup for writing Unikernels in ReasonML
BER MetaOCaml
自己反映計算 (reflection)
線形時相論理 (LTL)
Runtime Multi-Stage Programming | Scala 3 Language Reference | Scala Documentation
Scala 3のマクロの練習に拡張可能レコードを実装してみる - 貳佰伍拾陸夜日記
線形代數
OCaml Scientific Computing — Owl Numerical Library 0.7 documentation
F#
F# を知ってほしい - Qiita
smart contract
SCamlによるTezosプログラミング#0 - DaiLambda, Inc.
Tezos.com
Tezos is an open-source platform for assets and applications backed by a global community of validators, researchers, and builders.
Welcome to the Tezos Developer Documentation! — Tezos (master branch, 2020/02/02 03:16) documentation
Tezos is a distributed consensus platform with meta-consensus capability. Tezos not only comes to consensus about the state of its ledger, like Bitcoin or Ethereum. It also attempts to come to consensus about how the protocol and the nodes should adapt and upgrade.